Algol-like Language (preliminary Report)
نویسنده
چکیده
We present a denotational semantics for an Algol-like language Alg which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. In this preliminary report we concentrate on the construction of the denotational model and on the main ideas of the full abstraction proof. For more background information about (problems involved with) the semantics of local variables, especially for further interesting examples of observational congruences we refer the reader to MS88, OT93b].
منابع مشابه
Design of the Programming Language Forsythe
This is a description of the programming language Forsythe, which is a descendant of Algol 60 intended to be as uniform and general as possible, while retaining the basic character of its progenitor. This document supercedes Report CMU{CS{88{159, \Preliminary Design of the Programming Language Forsythe" 1].
متن کاملAlgol-like Language
We present a denotational semantics for an Algol-like language Alg, which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. As all the published`test equivalences' 13, 8, 23] for Algol-like languages are contained in the second order subset, they can all be validated (easily) in...
متن کاملParametric Sheaves for modelling Store Locality
In this paper, we bring together two important ideas in the semantics of Algol-like imperative programming languages. One is that program phrases act on xed sets of storage locations. The second is that the information of local variables is hidden from client programs. This involves combining sheaf theory and parametricity to produce new classes of sheaves. We deene the semantics of an Algol-li...
متن کاملHappenings
The Happenings department reports on past, present, and future events of interest to the history of computing. These events include conferences, appropriate sessions from meetings, exhibits, projects, awards, publications, collections, general memorabilia, and important dates in the history of computing. Contributions to the department are encouraged and should consist of a description or repor...
متن کامل1970, A FORTRAN coded regular expression Compiler for IBM ..
REC (Regular Expression Compiler) is a concise programming language which allows students to write programs without knowledge of the complicated syntax of languages like FORTRAN and ALGOL. The language is recursive and contains only four elements for control. This paper describes an interpreter of REC written in FORTRAN.
متن کامل